Introduction to Normaliz 2.5
نویسندگان
چکیده
In this paper we introduce the version 2.5 of Normaliz , a program for the computation of Hilbert bases of rational cones and the normalizations of affine monoids. It may also be used for solving diophantine linear systems of inequalities, equations and congruences. We present some of the new features of the program, as well as some recent achievements.
منابع مشابه
A Macaulay2 interface for Normaliz
Normaliz is a tool for the computation of Hilbert bases of normal affine monoids and related tasks. We describe the Macaulay2 interface to Normaliz. It makes Normaliz accessible for operations on monoid algebras in Macaulay2 and, conversely, makes Macaulay2 a front-end for Normaliz. THE PACKAGE AND ITS APPLICATIONS. Normaliz [BIS] solves a task that can be described from a geometric and an (equ...
متن کاملRubrik Normaliz: a package for linear diophantine systems, polyhedra and lattices
The very first version of Normaliz [4] was meant to compute normalizations of affine monoids (or semigroups), hence the name. Over the years it has been extended to a powerful package for discrete convex geometry. We explain its main computation goals by a simple example, sketch the mathematical background and discuss the basic steps in the Normaliz primal algorithm. Some remarks on the technic...
متن کاملRecent Developments in Normaliz
The software Normaliz implements algorithms for rational cones and affine monoids. In this note we present recent developments. They include the support for (unbounded) polyhedra and semi-open cones. Furthermore, we report on improved algorithms and parallelization, which allow us to compute significantly larger examples.
متن کاملNormaliz: Algorithms for affine monoids and rational cones
Normaliz is a program for the computation of Hilbert bases of rational cones and the normalizations of affine monoids. It may also be used for solving diophantine linear systems. In this paper we present the algorithms implemented in the program.
متن کاملThe computation of generalized Ehrhart series in Normaliz
Article history: Received 15 October 2013 Accepted 29 March 2014 Available online 19 September 2014 MSC: 52B20 13F20 14M25 91B12
متن کامل